OWL Rules: A Proposal and Prototype Implementation Ian Horrocks Peter F. Patel-Schneider Dmitry Tsarkov

Source URL: www.cs.man.ac.uk

• Semantic Web
• Logic
• Computing
• Information science
• Knowledge engineering
• Knowledge representation
• Technical communication
• Web Ontology Language
• Ontology
• Resource Description Framework
• Description logic
• Interpretation

Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.

Source URL: www.cs.man.ac.uk

• Semantic Web
• Knowledge representation
• Logic
• Cognitive science
• Computing
• Information science
• Artificial intelligence
• Knowledge engineering
• Description logic
• Web Ontology Language
• Ontology
• Semantic Web Rule Language

Optimized Reasoning in Description Logics using Hypertableaux Boris Motik, Rob Shearer, and Ian Horrocks University of Manchester, UK Abstract. We present a novel reasoning calculus for Description Logics

Source URL: www.hermit-reasoner.com

• Mathematics
• Algebraic structures
• Transitive closure
• Ring

DL Reasoner vs. First-Order Prover Dmitry Tsarkov and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk

Source URL: www.cs.man.ac.uk

• Automated theorem proving
• Reasoning
• Semantic Web
• Artificial intelligence
• School of Computer Science
• University of Manchester
• Knowledge representation and reasoning
• Description logic
• Vampire
• Semantic reasoner
• Automated reasoning
• Web Ontology Language
• Resolution

Optimized Description Logic Reasoning via Core Blocking Birte Glimm, Ian Horrocks, and Boris Motik Oxford University Computing Laboratory, UK Abstract. State of the art reasoners for expressive description logics, such

Source URL: www.hermit-reasoner.com

• Ontology
• Proof theory
• Methods of proof
• Automated theorem proving
• Abox
• Tbox
• Sequent
• Method of analytic tableaux
• Description logic
• Calculus
• Blocking

Optimised Classification for Taxonomic Knowledge Bases Dmitry Tsarkov and Ian Horrocks University of Manchester, Manchester, UK {tsarkov|horrocks}@cs.man.ac.uk Abstract

Source URL: www.cs.man.ac.uk

• Ontology
• Information science
• Semantic Web
• Technical communication
• Knowledge representation
• Tbox
• Abox
• Knowledge representation and reasoning
• Web Ontology Language
• Description logic
• Ordered geometry
• Concept

Optimising Terminological Reasoning for Expressive Description Logics Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider School of Computer Science University of Manchester, UK, and

Source URL: www.cs.man.ac.uk

• Transitive closure
• FO
• Abox

Using Vampire to Reason with OWL Dmitry Tsarkov, Alexandre Riazanov, Sean Bechhofer and Ian Horrocks Department of Computer Science The University of Manchester Manchester, UK {tsarkov|riazanov|seanb|horrocks}@cs.man.ac.

Source URL: www.cs.man.ac.uk

A Proposal for an OWL Rules Language Ian Horrocks Peter F. Patel-Schneider University of Manchester

Source URL: www.cs.man.ac.uk

The Instance Store: DL Reasoning with Large Numbers of Individuals Ian Horrocks, Lei Li, Daniele Turi and Sean Bechhofer University of Manchester, UK @cs.man.ac.uk Abstract

Source URL: www.cs.man.ac.uk